Josephson junction between anisotropic superconductors

The sin-Gordon equation for Josephson junctions with arbitrary misaligned anisotropic banks is derived. As an application, the problem of Josephson vortices at twin planes of a YBCO-like material is considered. It is shown that for an arbitrary orientation of these vortices relative to the crystal axes of the banks, the junctions should experience a mechanical torque which is evaluated. This torque and its angular dependence may, in principle, be measured in small fields, since the flux penetration into twinned crystals begins with nucleation of Josephson vortices at twin planes.Comment: 6 page

Self-Organized Criticality Effect on Stability: Magneto-Thermal Oscillations in a Granular YBCO Superconductor

We show that the self-organized criticality of the Bean's state in each of the grains of a granular superconductor results in magneto-thermal oscillations preceding a series of subsequent flux jumps. We find that the frequency of these oscillations is proportional to the external magnetic field sweep rate and is inversely proportional to the square root of the heat capacity. We demonstrate experimentally and theoretically the universality of this dependence that is mainly influenced by the granularity of the superconductor.Comment: submitted to Physical Review Letters, 4 pages, RevTeX, 4 figures available as uufile

A termination proof for epsilon substitution using partial derivations

AbstractEpsilon substitution method introduced by Hilbert is a successive approximation process providing numerical realizations from proofs of existential formulas. Most convergence (termination) proofs for it use assignments of decreasing ordinals to stages of the process and work only for predicative systems. We describe a new ordinal assignment for the case of first-order arithmetic admitting extension to impredicative systems. It is based on an interpretation of individual epsilon substitutions forming the substitution process as incomplete finite proofs, each encoding a complete but infinite proof